| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Algorithmic Game Theory | Fach-/Modulprüfung | 6 | 518538 | ||
| Vorlesung | 522520 | Mo 10:30-12:00 5054 (2356|054) (×3) Mo 10:30-12:00 AH III (2350|314.1) (×9) Mo 10:30-12:00 AH V (2356|050) (×1) Di 10:30-12:00 AH II (2350|111) (×12) | |||
| Algorithmic Learning Theory | Fach-/Modulprüfung | 6 | 515276 | ||
| Algorithmic Model Theory I | Fach-/Modulprüfung | 9 | 515396 | ||
| Analysis of Algorithms | Fach-/Modulprüfung | 8 | 515508 | ||
| Compiler Construction | Fach-/Modulprüfung | 6 | 515331 | ||
| Concurrency Theory | Fach-/Modulprüfung | 6 | 515156 | ||
| Graph Algorithms | Fach-/Modulprüfung | 6 | 515613 | ||
| Graph Decompositions and Algorithmic Applications | Fach-/Modulprüfung | 6 | 519091 | ||
| Übung | 521730 | Mo 12:30-14:00 AH I (2350|028) (×14) | |||
| Vorlesung | 521729 | Mi 10:30-12:00 AH III (2350|314.1) (×13) Fr 12:30-14:00 AH III (2350|314.1) (×9) | |||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 515676 | ||
| Übung | 511488 | Mo 12:30-14:00 5056 (2356|056) (×12) Di 13:00-14:00 AH IV (2354|030) (×1) Fr 13:00-14:00 AH IV (2354|030) (×1) | |||
| Vorlesung | 511721 | Mo 12:30-14:00 5056 (2356|056) (×14) Do 12:30-14:00 5056 (2356|056) (×12) | |||
| Introduction to Algorithmic Differentiation | Fach-/Modulprüfung | 6 | 518526 | ||
| Vorlesung/Übung | 510858 | Di 10:30-12:00 AH III (2350|314.1) (×14) Mi 10:30-12:00 AH IV (2354|030) (×15) | |||
| Logic and Games | Fach-/Modulprüfung | 9 | 517305 | ||
| Fach-/Modulprüfung | 9 | 517304 | |||
| Mathematical Logic II | Fach-/Modulprüfung | 9 | 515392 | ||
| Modeling and Verification of Probabilistic Systems | Fach-/Modulprüfung | 6 | 516275 | ||
| Module Complexity Theory | Fach-/Modulprüfung | 6 | 515647 | ||
| Parameterized Algorithms | Fach-/Modulprüfung | 8 | 518531 | ||
| Post-quantum cryptography | Fach-/Modulprüfung | 6 | 517281 | ||
| Vorlesung/Übung | 513330 | Mo 10:30-12:00 AH II (2350|111) (×15) Mi 12:30-14:00 AH III (2350|314.1) (×14) Do 16:30-18:00 AH V (2356|050) (×12) | |||
| Probabilistic Programming | Fach-/Modulprüfung | 6 | 515534 | ||
| Semantics and Verification of Software | Fach-/Modulprüfung | 6 | 521857 | ||
| Übung | 521376 | Do 16:30-18:00 AH III (2350|314.1) (×11) Do 16:30-18:00 TEMP1 (1515|001) (×1) | |||
| Vorlesung | 521377 | Mo 12:30-14:00 AH II (2350|111) (×13) Di 12:30-14:00 AH II (2350|111) (×12) | |||
| Stochastic Games | Fach-/Modulprüfung | 6 | 545664 | ||
| Übung | 521487 | Do 10:30-12:00 Seminarraum i7, Raum 4116 (2353|116) (×8) | |||
| Vorlesung | 521486 | Di 12:30-14:00 5055 (2356|055) (×13) Fr 11:00-12:30 5056 (2356|056) (×2) |